Exercise logic.propositional.axiomatic

Description
Axiomatic proofs

Code	logic.propositional.axiomatic
Status	Experimental
Strategy	axiomatic
Rules	20
Buggy rules	0
OpenMath support	no
Restartable strategy	yes
Exercise generator	no
Examples	14

Example exercises

• list of examples

• other exercise: